Buy Used and New Doron Drusinsky Books

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

by Doron Drusinsky

ISBN 13: 9780750679497

Format: Hardcover (400 pages)
Publisher: Newnes
Published: 22 May 2006

Save for later